A Co-free Construction for Elementary Doctrines
نویسنده
چکیده
We provide a construction which co-freely adds elementary structure to a primary doctrine in the sense of Lawvere. We show that the construction preserves all the first order logical structures that the starting doctrine may have. Moreover it forces the Principle of Propositional Extensionality when applied to tripos.
منابع مشابه
Elementary Quotient Completion
We extend the notion of exact completion on a category with weak finite limits to Lawvere’s elementary doctrines. We show how any such doctrine admits an elementary quotient completion, which is the universal solution to adding certain quotients. We note that the elementary quotient completion can be obtained as the composite of two other universal constructions: one adds effective quotients, t...
متن کاملUnifying exact completions
We define the notion of exact completion with respect to an existential elementary doctrine. We observe that the forgetful functor from the 2-category exact categories to existential elementary doctrines has a left biadjoint that can be obtained as a composite of two others. Finally, we conclude how this notion encompasses both that of the exact completion of a regular category as well as that ...
متن کاملConstructions of MDS-convolutional codes
Maximum-distance separable (MDS) convolutional codes are characterized through the property that the free distance attains the generalized singleton bound. The existence of MDS convolutional codes was established by two of the authors by using methods from algebraic geometry. This correspondence provides an elementary construction of MDS convolutional codes for each rate k/n and each degree δ. ...
متن کاملAn Elementary Bisimulation Decision Procedure for Arbitrary Context-Free Processes
We present an elementary algorithm for deciding bisimulation equivalence between arbitrary context-free processes. This improves on the state of the art algorithm of Christensen, H uttel and Stirling consisting of two semi-decision procedures running in parallel, which prohibits any complexity estimation. The point of our algorithm is the eeective construction of a nite relation characterizing ...
متن کاملL2 Discourse Co-construction within the Learner’s ZPD
This study examined the effect of the ZPD-based discourse scaffolding on EFL learners' co-construction of L2 metadiscourse performing collaborative writing tasks and explored the discourse scaffolding dynamics. The participants were 160 EFL students that were assigned to four different treatment conditions: (i) formal teaching, (ii) input enhancement, (iii) non-ZPD interaction, and (iv) ZPD-bas...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Applied Categorical Structures
دوره 23 شماره
صفحات -
تاریخ انتشار 2015